second-order lambda-calculus
二阶 Lamda 微积分
热门查询
- blooper n. 大挫折；引起杂音的收音机
- limpness n. 柔弱，软弱；疲倦
- gridiron n. 烤架；格状物；橄榄球场
- frivolously adv. 轻浮地；愚昧地
- locally adv. 局部地；在本地
- baggy adj. 袋状的，膨胀的；宽松而下垂的
- foreclose vt. 阻止；排除；取消抵押品赎回权 vi. 取消抵押品赎回权
- scow n. 方驳；敞舱平底驳船；耙斗 vt. 用平底大驳船运输
- McInnes [人名] 麦金尼斯; [地名] [加拿大] 麦金尼斯
- blotch n. 斑点；污点；疙瘩 vt. 弄脏
- Annes [人名] 安妮斯
- emaciated adj. 瘦弱的；憔悴的 v. 憔悴；消瘦下去（emaciate的过去分词）
- vein n. 血管；叶脉；[地质] 岩脉；纹理；翅脉；性情 vt. 使成脉络；象脉络般分布于 n. (Vein)人名；(英)维因；(塞)魏因
- anticipation n. 希望；预感；先发制人；预支
- comforter n. 安慰者；圣灵；（美）被子；（英）羊毛围巾
- Egyptologist n. 埃及古物学者
- vocationally adv. 职业上地；职业性地
- presentable adj. 漂亮的；可见人的；有规矩的
- Colville [人名] [英格兰人、苏格兰人姓氏] 科尔维尔住所名称，来源于斯堪的纳维亚语人名Koli+古法语，含义是“居留地，村庄”(settlement,village); [地名] [美国、新西兰] 科尔维尔
- task force n. 特遣部队；（为解决某问题而成立的）特别工作组 [网络] 热血最强；任务小组；特别小组
